using System.Collections.Generic;
using TestClassesForConcepts;
using TestClassesForConcepts.Sample3;

concept C1[T]
{
    type A1 <: List<T>;    
}

concept C5[S, T]
{
    type A1;
    type A2;
    type B1 <: SC1<A1>;
    type B2 <: SC1<KeyP>;
    require B1 == B2;
}
